ВЕРОЯТНОСТНАЯ ЛОГИКА


ВЕРОЯТНОСТНАЯ ЛОГИКА
- математико-логическая система, моделирующая традиционное понятие формальной логики — отношение подтверждения одного высказывания другим(и) как вероятностную функцию. Поскольку подтверждение теории данными опыта есть индуктивное умозаключение от частного к общему, постольку вероятностная логика считается современной формой индуктивной логики. Одну из наиболее развитых систем вероятностной логики разработал Р. Карнап. В отличие от Рейхенбаха, он строит ее как систему, оценивающую не степень истинности, а степень выводимости с (h, с) одного высказывания h (называемого «гипотезой») по отношению к другому высказыванию е (называемого «данными»). Термины «гипотеза» и «данные» в системе Кармана имеют не буквальный, а метафорический смысл, намекающие на возможную область применения функции с. В принципе h и е — это любые два высказывания в некотором языке L. Карнап ввел новые, обобщенные понятия «дедукции» и «индукции». Дедукция, согласно Карнапу, это такой тип логического отношения между двумя высказываниями р и q, когда р или логически следует из q или противоречит ему. В первом случае степень выводимости р из q оценивается значением 1, во втором — 0. Все остальные случаи логического отношения между высказываниями р и q, когда ни одно из них не следует из другого, но и не противоречит одно другому, Карнап называет индуктивными. Индукция (или «степень подтверждения») — это обобщение понятия дедукции с помощью интерпретации отношения выводимости как вероятностной функции. Дедукция в таком случае есть частный случай индукции, а дедуктивная логика — частный случай индуктивной логики. Задача индуктивной логики — разработка чисто логического метода однозначной оценки степени выводимости одного высказывания по отношению к любому другому. Хотя Карнап показал, что степень выводимости действительно может быть проинтерпретирована как одна из моделей формально-аксиоматического определения вероятности (для различения двух интерпретаций вероятности: как относительной частоты и как степени выводимости. Карнап даже предложил ввести для них специальные обозначения: «вероят-ность1» и «вероятность2»). Однако, ему не удалось решить ряд основных проблем индуктивной логики. Во—первых, предложенный Карнапом метод вычисления степени подтверждения работает только в языках с одноместными предикатами и потому возможность его применения к реальным научным языкам для решения проблемы подтверждения научных теорий фактами, то есть для решения подлинной проблемы индукции, является в высшей степени проблематичной. Во—вторых, предложенный Карнапом метод определения с (h, с) даст разные ее значения для языков с разным количеством предикатов, а потому всегда поднимает отнюдь не чисто логический вопрос об основаниях выбора того или другого языка. При таком подходе не только неправомерно считать отношение степени выводимости чисто аналитическим, но и вообще ставится под вопрос универсальность законов логики. Наконец, В—третьих, точное знание степени выводимости абсолютно ничего не говорит нам о степени (вероятности) истинности «выводимого» высказывания из истинных посылок, так как никогда не позволяет нам отделять его от своих посылок. Каков тогда вообще практический смысл такой логики? Она оказалась теоретически интересным расширением (обобщением) дедуктивной логики, но абсолютно бессильной в решении традиционной гносеологической проблемы индукции и ее роли в научном познании. (См. логика, подтверждение, индукция).


Философия науки: Словарь основных терминов. — М.: Академический Проект. . 2004.

Смотреть что такое "ВЕРОЯТНОСТНАЯ ЛОГИКА" в других словарях:

  • Вероятностная логика — Вероятностная логика  логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, но непрерывная шкала значений истинности от 0 до 1, так что, нуль соответствует невозможному событию,… …   Википедия

  • ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… …   Философская энциклопедия

  • вероятностная логика —         ВЕРОЯТНОСТНАЯ ЛОГИКА раздел логики, изучающий логические системы, в которых высказываниям в качестве истинностных значений приписываются вероятности истинности или степени правдоподобия, подтверждения. Высказывания классифицируются как… …   Энциклопедия эпистемологии и философии науки

  • вероятностная логика — tikimybinė logika statusas T sritis automatika atitikmenys: angl. probabilistic logic vok. Wahrscheinlichkeitslogik, f rus. вероятностная логика, f pranc. logique stochastique, f ryšiai: sinonimas – stochastinė logika …   Automatikos terminų žodynas

  • Вероятностная логика —         логическая система, в которой высказываниям (суждениям, утверждениям, предложениям), помимо истины и лжи, приписываются «промежуточные» истинностные значения, называемые вероятностями истинности высказываний, степенями их правдоподобия,… …   Большая советская энциклопедия

  • вероятностная логика — разновидность многозначной логики, в которой высказываниям (суждениям) наряду с истиной и ложью приписываются промежуточные значения, представляющие собой различные степени вероятности истинности высказываний, степени правдоподобия или… …   Словарь терминов логики

  • Логика — Гр …   Википедия

  • Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος  «речь», «рассуждение»)  наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… …   Википедия

  • Логика — (греч. logike̅́)         наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л …   Большая советская энциклопедия

  • Логика предикатов —         раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… …   Большая советская энциклопедия

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.